One sense of 'information': A quick tutorial to Information-Theoretic Logic

Information Theoretic Cryptography for Information Theorists (Notes for a tutorial at ISIT 2017)

Randomness extraction refers to generating almost uniform bits as a function of a given random variable X. This will play a central role in all our applications, in particular, in the privacy amplification step of secret key agreement. The form of functions that can enable randomness extraction depends on the underlying class of distributions of X for which we want the extraction to work. We be...

One year publication of Human-Information Interaction

This article has no abstract.

A quick introduction to information theory

A quick ITP tutorial

The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements.

Formal approaches to Information - Hiding – A tutorial ? –

In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to be protected. We focus on the problem of formalizing the notion of information hiding, and verifying that a given protocol achieves the intended degree of protection. Without the pretense of being omni-comprehensive, we review...